Distributed Active Faults Diagnosis for Systems with Conditionally Dependent Faults
نویسندگان
چکیده
منابع مشابه
Modeling Context-Dependent Faults for Diagnosis
Most Model-based diagnosis frameworks rely on incremental probing and the assumption that faults occur independently to infer the most likely explanation for a symptom. For systems where additional sensors are unavailable or a repair action must be issued at once, these assumptions are often inadequate and dependent faults must be considered explicitly. We introduce explicit models of context-d...
متن کاملDistributed Diagnosis of Faults in Circuits and Biological Systems
Model-based diagnosis aims at inferring abnormalities of components in a system, given its behavior. One specific goal is to determine the minimal set of candidates, which is useful e.g. to efficiently perform further measurements. A key difference between the centralized and the distributed versions of this problem is that the former uses knowledge of the designer. In the latter case we cannot...
متن کاملAntecipated Faults in Real-Time Distributed Systems
In this paper we present a Petri-net-based approach to consider anticipated faults in real-time distributed systems. The proposed approach is based on Fuzzy Time G-Nets which is the integration of two Petri Nets extensions: Fuzzy Time Petri Net (timing Petri net extension) and G-Nets (Petri net extended with object oriented concepts). We also show that Fuzzy Time G-Nets can be used to represent...
متن کاملModeling Faults of Distributed, Reactive Systems
Formal methods can improve the development of systems with high quality requirements since they usually o er a precise non ambiguous speci cation language and allow rigorous veri cation of sys tem properties Usually these mainly abstract speci cations are idealistic and do not re ect faults so that faulty behavior if treated at all must be speci ed as part of the normal behavior increasing the ...
متن کاملDiagnosis of Intermittent Faults
The diagnosis of``intermittent'' faults in dynamic systems modeled as discrete event systems is considered. In many systems, faulty behavior often occurs intermittently, with fault events followed by corresponding``reset'' events for these faults, followed by new occurrences of fault events, and so forth. Since these events are usually unobservable, it is necessary to develop diagnostic methodo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC-PapersOnLine
سال: 2020
ISSN: 2405-8963
DOI: 10.1016/j.ifacol.2020.12.857